翻訳と辞書
Words near each other
・ BD-08°2823 c
・ BD-1047
・ BD-10°3166
・ BD-10°3166 b
・ BD-12
・ BCI2000
・ BCIA
・ BCIA Inc.
・ BCIE
・ BCIS
・ BCISD
・ BCIT (disambiguation)
・ BCJ
・ BCJR algorithm
・ BCK
BCK algebra
・ BCKDH
・ BCKDHA
・ BCKDHB
・ BCKDK
・ BCL
・ BCL Molecular
・ BCL Springs
・ Bcl-2
・ Bcl-2 family
・ Bcl-2 homologous antagonist killer
・ Bcl-2-associated death promoter
・ Bcl-2-associated X protein
・ Bcl-2-interacting killer
・ BCL-6 corepressor


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

BCK algebra : ウィキペディア英語版
BCK algebra
In mathematics, BCI and BCK algebras are algebraic structures, introduced by Y. Imai, K. Iséki and S. Tanaka in 1966, that describe fragments of the propositional calculus involving implication known as BCI and BCK logics.
==Definition==


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「BCK algebra」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.